#ifndef PORT_PWM_H
#define PORT_PWM_H 

#include <stdint.h>

void pwm_out_init(void);
void pwm_out_set(uint8_t ch, uint32_t pwm);

#endif /* PORT_PWM_H */